Section: Dissemination

Teaching Activities

The Vasy project team is a host team for the computer science master entitled “Mathématiques, Informatique, spécialité : Systèmes et Logiciels”, common to Grenoble Inp and Université Joseph Fourier.

In 2011:

• H. Garavel, F. Lang, and W. Serwe gave, jointly with Pascal Raymond (Cnrs , Verimag ), a course on “Méthodes formelles de développement” to the computer science engineering students of Cnam (Conservatoire National des Arts et Métiers) Grenoble (30 hours).

• F. Lang and W. Serwe gave a course on “Modélisation et Vérification des Systèmes Concurrents et Temps-Réel” to the 3rd year students of Ensimag (18 hours).

• G. Salaün gave lectures on “Algorithmics and Object-Oriented Programming” to the 2nd year students of Ensimag (36 hours).

• G. Salaün gave a course on “Specification, Verification, and Adaptation of Web Services” to master students in Málaga, Spain, in May 2011 (10 hours).

• G. Salaün is co-responsible of the Isi (Ingénierie des systèmes d'information) department of Ensimag since September 1, 2011.

• R. Mateescu was a reviewer for Eric Madelaine's habilitation thesis, entitled “Specification, Model Generation, and Verification of Distributed Applications”, defended at the University of Nice – Sophia-Antipolis on September 29, 2011.

• G. Salaün co-supervised the PhD thesis of Meriem Ouederni (University of Málaga, Spain), defended at the University of Málaga, Spain, on October 28, 2011.

• H. Garavel was a jury member for Matthias Raffelsiepers's PhD thesis, entitled “Cell Libraries and Verification”, defended at the Technical University of Eindhoven on November 2, 2011.

• G. Salaün defended an habilitation thesis [22] on November 22, 2011.

• R. Mateescu was a reviewer for Rodrigo Tacla Saad's PhD thesis, entitled “Parallel Model Checking for Multiprocessor Architecture”, defended at Insa Toulouse on December 20, 2011.